261. Mathematical logic
پدیدآورنده : Ebbinghaus, Heinz-Dieter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E2213
1994
262. Mathematical logic.
پدیدآورنده : Kleene, Stephen Cole 1909-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
9
.
K652
1968
263. Mathematical logic
پدیدآورنده : / [by] Joseph R. Shoenfield
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
264. Mathematical logic
پدیدآورنده : George Tourlakis
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Logic, Symbolic and mathematical, Textbooks
رده :
511
,.
3
,.
T68M
,
2008
265. Mathematical logic
پدیدآورنده : Ershov, Yu L
موضوع : ، Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
266. Mathematical logic
پدیدآورنده : Ponasse, Daniel.
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
267. Mathematical logic
پدیدآورنده : Shoenfield, Joseph Robert, 7291-
موضوع : ، Logic, Symbolicc and mathematical
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
268. Mathematical logic
پدیدآورنده : / Ian Chiswell and Wilfrid Hodges
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
269. Mathematical logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
270. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
K652
271. Mathematical logic
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E2213
1984
272. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68
273. Mathematical logic
پدیدآورنده : / J. Donald Monk
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
M745
274. Mathematical logic :
پدیدآورنده : Roman Kossak
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
رده :
QA9
.
K67
2018
275. Mathematical logic
پدیدآورنده : / Yu. L. Ershov, E. A. Palyutin,Ershov
کتابخانه: كتابخانه مركزي آستان قدس رضوي (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Logic, Symbolic and mathematical
رده :
511
.
3
E73M
1984
276. Mathematical logic: a first course
پدیدآورنده : Robbin, Joel w
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Logic, symbolic and mathematical
رده :
QA
9
.
R68
277. Mathematical logic: a first course
پدیدآورنده : Robbin, Joel W
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R63
278. Mathematical logic : an introduction to model theory
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
L54
279. Mathematical logic; an introduction to model theory
پدیدآورنده : / A. H. Lightstone edited by H. B. Enderton
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical,Model theory
رده :
511
.
3
L724
280. Mathematical logic and algebra : collected papers dedicated to the 100th birthday of academician petr Sergeevich Novikov
پدیدآورنده : Translated and published by Maik Nauka/Interperiodica Publishing
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
1
.
P736
Vol
.
242
